Legion of the Bouncy Castle Inc. BC-FJA (Bouncy Castle FIPS Java API) User Guide Version: 0.1 Date: Legion of the Bouncy Castle Inc.

Source URL: bouncycastle.org

• Cryptographic software
• Cryptography standards
• Bouncy Castle
• Java Cryptography Extension
• Advanced Encryption Standard
• Cryptographic Module Validation Program
• Data Encryption Standard
• Java Secure Socket Extension
• FIPS 140
• Key Wrap
• Camellia
• AES implementations

AIRcable OS Command Version 0.7 Line Documentation All AIRcable OS products come with a standard BASIC connection software installed. The program is responsible for controlling the incoming and outgoing serial connection

Source URL: www.aircable.net

FIDO U2F Javascript API FIDO Alliance Proposed Standard 14 May 2015 This version: https://fidoalliance.org/specs/fido-undefined-undefined-psfido-u2f-javascript-api-v1.0-undefined-pshtml Previous versi

Source URL: fidoalliance.org

• Software engineering
• Computing
• Computer programming
• FIDO Alliance
• Identification
• Mountain View
• California
• Fido
• Application programming interface
• JavaScript
• Web API
• Callback
• Const

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Kasper Lund, Software engineer at Google Crankshaft Turbocharging the next generation of web applications

Source URL: gotocon.com

• Software engineering
• Software
• Computing
• X86 architecture
• C standard library
• Exit
• POSIX
• Process
• V8
• JavaScript
• JMP
• Transmeta

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a

Source URL: extract.cs.odu.edu

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Procedural programming languages
• ML
• XS
• Monad
• Haskell features
• Standard ML

Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2

Source URL: www.cs.ioc.ee

• Software engineering
• Theoretical computer science
• Theory of computation
• Turing machine
• Computability theory
• Formal methods
• Models of computation
• Standard ML

Software engineering Extending the ODX standard Limitations in the ODX standard make it difficult for files to be portable among different manufacturers. We make a case for the extension of the standard and its use in t

Source URL: can-newsletter.org

Help Main Navigation The links to the main topics of the web site are contained in the three lines of the main navigation. Some of them are standard entries while others can be chosen freely. They are invariable within a

Source URL: www.eeh.ee.ethz.ch

• Web design
• Design
• Software
• Digital media
• Site map
• Breadcrumb
• Home page
• Website
• World Wide Web
• Web navigation